% -*- mode: prolog -*-
% -*- coding: utf-8 -*-


% cmap2owl -- Helper application to convert from concept maps to OWL ontologies
% Copyright (c) 2008-2013  Rodrigo Rizzi Starr
%  
% Permission is hereby granted, free of charge, to any person obtaining a copy
% of this software and associated documentation files (the "Software"), to deal
% in the Software without restriction, including without limitation the rights
% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
% copies of the Software, and to permit persons to whom the Software is
% furnished to do so, subject to the following conditions:
%  
% The above copyright notice and this permission notice shall be included in all
% copies or substantial portions of the Software.
%  
% THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
% SOFTWARE.

conceptCM('Mapa_simples_para_testes').
conceptCM('Relation').
conceptCM('Relation_diagram').
conceptCM('Concepts').
conceptCM('Knowledge_representations').
conceptCM('This_one').
conceptCM('Level_of_formalization').
conceptCM('Statements').
conceptCM('Concept_maps').
conceptCM('Ontologies').
conceptCM('Relations').
conceptCM('Elements').
conceptCM('Concept').
conceptCM('Data_structures').
conceptCM('Statement').

linkingPhraseCM('have').
linkingPhraseCM('have_').
linkingPhraseCM('have__').
linkingPhraseCM('have___').
linkingPhraseCM('are_composed_of').
linkingPhraseCM('are_a_kind_of').
linkingPhraseCM('are_composed_of_').
linkingPhraseCM('any_of').
linkingPhraseCM('composed_by').
linkingPhraseCM('part_of').
linkingPhraseCM('instance_of').
linkingPhraseCM('are_a_kind_of_').
linkingPhraseCM('for_example').

relationCM('have_','Concept_maps','Concepts').
relationCM('have_','Concept_maps','Relations').
relationCM('have__','Concept_maps','Concepts').
relationCM('have__','Concept_maps','Relations').
relationCM('have___','Concept_maps','Concepts').
relationCM('have___','Concept_maps','Relations').
relationCM('are_composed_of','Statements','Statement').
relationCM('are_a_kind_of','Data_structures','Knowledge_representations').
relationCM('are_a_kind_of','Concept_maps','Knowledge_representations').
relationCM('are_composed_of_','Ontologies','Statements').
relationCM('any_of','Elements','Relation').
relationCM('any_of','Elements','Concept').
relationCM('composed_by','Concept_maps','Elements').
relationCM('part_of','Elements','Concept_maps').
relationCM('instance_of','Relation_diagram','Concept_maps').
relationCM('have','Ontologies','Relations').
relationCM('are_a_kind_of_','Ontologies','Knowledge_representations').
relationCM('for_example','Concept_maps','This_one').

hasLabelCM('Mapa_simples_para_testes','Mapa simples para testes').
hasLabelCM('Relation','Relation').
hasLabelCM('Relation_diagram','Relation diagram').
hasLabelCM('Concepts','Concepts').
hasLabelCM('Knowledge_representations','Knowledge representations').
hasLabelCM('This_one','This one').
hasLabelCM('Level_of_formalization','Level of formalization').
hasLabelCM('Statements','Statements').
hasLabelCM('Concept_maps','Concept maps').
hasLabelCM('Ontologies','Ontologies').
hasLabelCM('Relations','Relations').
hasLabelCM('Elements','Elements').
hasLabelCM('Concept','Concept').
hasLabelCM('Data_structures','Data structures').
hasLabelCM('Statement','Statement').
hasLabelCM('have_','have').
hasLabelCM('have_','have').
hasLabelCM('have_','have').
hasLabelCM('are_composed_of','are composed of').
hasLabelCM('are_a_kind_of','are a kind of').
hasLabelCM('are_composed_of_','are composed of').
hasLabelCM('any_of','any of').
hasLabelCM('composed_by','composed by').
hasLabelCM('part_of','part of').
hasLabelCM('instance_of','instance of').
hasLabelCM('have','have').
hasLabelCM('are_a_kind_of_','are a kind of').
hasLabelCM('for_example','for example').

